Logic for Computable Functions - PDFSEARCH.IO - Document Search Engine

Logic for Computable Functions
Results: 37

#	Item
31	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science
32	Technical Report UCAM-CL-TR ISSN[removed]Computer Laboratory Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-12-02 09:28:45 Computing Turing Award laureates Ucam Algorithm Logic for Computable Functions Proof assistant HOL Robin Milner Compiler Logic in computer science Theoretical computer science Computer science
33	Full Abstraction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2004-01-06 12:23:12 Logic Interpretation Structure Monoid Elementary class Function Programming Computable Functions Denotational semantics Mathematics Model theory Mathematical logic
34	TYPE SYSTEMS FOR POLYNOMIAL-TIME COMPUTATION Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-08-18 13:13:43 Mathematical logic Theory of computation Recursion Functions and mappings Lambda calculus Primitive recursive function Computable function Function Fold Theoretical computer science Mathematics Computability theory
35	A Brief Scientific Biography of Robin Milner Gordon Plotkin, Colin Stirling & Mads Tofte Robin Milner was born in 1934 to John Theodore Milner and Muriel Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-28 12:43:45 Logic in computer science Functional languages Type theory Formal methods Models of computation Denotational semantics Logic for Computable Functions ML Robin Milner Theoretical computer science Software engineering Programming language theory
36	The Origins of Structural Operational Semantics Gordon D. Plotkin Laboratory for Foundations of Computer Science, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Logic in computer science Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Lambda calculus Programming Computable Functions Theoretical computer science Computer science Applied mathematics
37	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-08-23 14:58:44 Logic in computer science Formal methods Automated theorem proving HOL Logic for Computable Functions Higher-order logic Isabelle Michael J. C. Gordon Theorem Proving in Higher-Order Logics Theoretical computer science Mathematics Applied mathematics